A Maple Package for Posets Contents

A Maple Package for Root Systems and Finite Coxeter Groups Contents

0 Se p 20 02 On the use of algebraic programming in the general relativity 1

2 Using Maple in the study of the canonical formalism of general relativity 17 2. 1 2 CONTENTS Preview This is a review devoted to some results of Algebraic Programming (Computer Algebra-CA) used in treating several problems of general relativity, based mainly on already published articles (see the references). The first chapter presents procedures in REDUCE language using EXCALC package for al...

0 On the use of algebraic programming in the general relativity 1

2 Using Maple in the study of the canonical formalism of general relativity 17 2. 1 2 CONTENTS Preview This is a review devoted to some results of Algebraic Programming (Computer Algebra-CA) used in treating several problems of general relativity, based mainly on already published articles (see the references). The first chapter presents procedures in REDUCE language using EXCALC package for al...

SyNRAC: A Maple-Package for Solving Real Algebraic Constraints

We present a Maple package called SyNRAC. This package is aimed at becoming a comprehensive toolbox for solving real algebraic constraints derived from various engineering problems. The current version of SyNRAC provides quantifier elimination for up to the quadratic case and basic simplifiers of formulas, as well as an environment dealing with first-Order formulas over the reals on Maple.

Clifford and Graßmann Hopf algebras via the BIGEBRA package for Maple ( R ) ∗

Hopf algebraic structures will replace groups and group representations as the leading paradigm in forthcoming times. K -theory, co-homology, entanglement, statistics, representation categories, quantized or twisted structures as well as more geometric topics of invariant theory, e.g., the Graßmann-Cayley bracket algebra are all covered by the Hopf algebraic framework. The new branch of experim...